it(a,30).
it(z, 5). 
it(b,14). 
it(c, 6).
it(d,28).
it(e,15).
it(f, 7).
it(g, 6).
it(h,15).
it(j,10).
it(k, 3).

ctrt([avant,a,z]).
ctrt([avant,a,d]).
ctrt([avant,z,b]).
ctrt([avant,b,c]).
ctrt([avant,c,e]).
ctrt([avant,c,f]).
ctrt([avant,c,g]).
ctrt([avant,d,e]).
ctrt([avant,d,f]).
ctrt([avant,d,g]).
ctrt([avant,e,k]).
ctrt([avant,f,h]).
ctrt([avant,g,k]).
ctrt([avant,h,j]).
ctrt([avant,j,k]).


ctrt([disj, e, f]).